381. FPGA-Based Acceleration of the Self-organizing Map (SOM) Algorithm Using High-level Synthesis
پدیدآورنده : Oninda, Mohammad Abdul Moin
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering,Electrical engineering
382. FPGA-Based Acceleration of the Self-organizing Map (SOM) Algorithm Using High-level Synthesis
پدیدآورنده : Oninda, Mohammad Abdul Moin
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering,Electrical engineering
383. FROM ALGORITHM TO CHIP-MOBILE 3D GRAPHICS SoC
پدیدآورنده : / YOO
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
384. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
385. Finite Element Systems
پدیدآورنده : edited by C. A. Brebbia.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering mathematics.,Engineering.,Mechanics.
386. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
387. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
388. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
389. Formex configuration processing in structural engineering
پدیدآورنده : Nooshin, H.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Engineering design - Data processing,، Computer graphics
رده :
TA
174
.
N6
1984
390. Formex configuration processing in structural engineering
پدیدآورنده : Nooshin, H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Engineering design,، Computer graphics
رده :
TA
174
.
N66
1984
391. Formex configuration processing in structural engineering
پدیدآورنده : Nooshin, Hoshyar.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Engineering design-- Data processing,، Computer graphics
رده :
TA
174
.
N66
392. Fortran 2018 with parallel programming /
پدیدآورنده : Subrata Ray
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
رده :
QA76
.
73
.
F25
R39
2020eb
393. Foundamentals of engineering drawing: with an itroduction to interactive computer graphics for design and pro[duction
پدیدآورنده : Warren J. Luzadde, Jon M. Duff
موضوع : Mechanical drawing,Computer Graphics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
394. Foundations of 3D Computer Graphics
پدیدآورنده : / Steven J. Gortler
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
395. From Geometric Modeling to Shape Modeling :
پدیدآورنده : edited by Umberto Cugini, Michael Wozny.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Engineering.,Mechanical engineering.
رده :
TA174
.
E358
2002
396. From Global to Local Statistical Shape Priors : Novel Methods to Obtain Accurate Reconstruction Results with a Limited Amount of Training Shapes
پدیدآورنده : by Carsten Last
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Artificial intelligence,، Computational intelligence,، Computer graphics,، Engineering
رده :
TA
405
.
F698
2017
397. From Object Modelling to Advanced Visual Communication
پدیدآورنده : edited by Sabine Coquillart, Wolfgang Stra€er, Peter Stucki.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Computer science.,Software engineering.
رده :
T385
.
E358
1994
398. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
399. From Quantum Chemistry to Condensed Matter Physics-Electronic Structure Calculations on Graphics Processing Units
پدیدآورنده : / Walker
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
400. Fundamental polymer science /
پدیدآورنده : Ulf W. Gedde, Mikael S. Hedenqvist.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Polymers.,Polymers.
رده :
QD381